University of Bologna - PDFSEARCH.IO - Document Search Engine

University of Bologna
Results: 826

#	Item
41	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
42	DOC Document Add to Reading List Source URL: www.tugab.bg Language: English - Date: 2014-10-31 05:21:28 Education Academia Academic transfer Knowledge Educational policies and initiatives of the European Union Transcript Bologna Process Course credit Educational technology Academic degree Karadeniz Technical University ECTS grading scale
43	DOC Document Add to Reading List Source URL: www.erasmus-bellearticatania.eu Language: English - Date: 2015-05-04 07:53:26 Education Academia Academic transfer Knowledge Educational policies and initiatives of the European Union Transcript Bologna Process Course credit Educational technology Academic degree Karadeniz Technical University ECTS grading scale
44	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution
45	Ten Best Practices in Manuscript Submission In: AGU Hydrology Section Newsletter Nov 2013 By: Water Resources Research Editorial Board, Alberto Montanari (University of Bologna) Editor-in-Chief, Günter Blöschl, Ximing Add to Reading List Source URL: www.esf.edu Language: English - Date: 2015-05-19 14:24:22 Knowledge Education Academia Grey literature Referee Thesis Scholarly peer review
46	Aging-Aware Compilation for GP-GPUs ATIEH LOTFI and ABBAS RAHIMI, University of California, San Diego LUCA BENINI, ETH Zurich and University of Bologna RAJESH K. GUPTA, University of California, San Diego General-purpos Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2015-07-13 19:18:56 Computing Computer architecture Parallel computing GPGPU Computer engineering OpenCL Graphics Core Next Compute kernel General-purpose computing on graphics processing units Very long instruction word Graphics processing unit Kernel
47	Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Mathematics Software engineering Coinduction Bisimulation Robin Milner Type theory Simulation preorder
48	Minimum Quality Standards and consumers’ information Paolo G. Garella and Emmanuel Petrakis Department of Economics, University of Bologna and Department of Economics, University of Crete Add to Reading List Source URL: www.idep.eco.usi.ch Language: English - Date: 2012-01-04 12:42:10 Economy Market Economics Consumer theory Microeconomics Goods Economic equilibrium Economic surplus Substitute good Informed consumer Business
49	HEG-FR – Bologna Program Master of Science in Business Administration MASTER OF SCIENCE Add to Reading List Source URL: www.heg-fr.ch Language: English - Date: 2016-02-26 05:01:25 Management education University of Applied Sciences Western Switzerland Entrepreneurship Business school University of Liechtenstein Lavin Entrepreneurship Center